#ifndef TINX_BL_H
#define TINX_BL_H

#include <tinx/types.h>

u32 get_bl_magic();
u32 get_bl_addr();

#endif